Characterization of Domains Admitting Strategy-Proof and Non-Dictatorial Social Choice Functions with Infinite Sets of Alternatives

We show, with an example, that the theorem on the characterization of the domains admitting strategy-proof and non-dictatorial social choice functions by Kalai and Muller (1977) does not hold when the set of alternatives is infinite. We consider two ways of overcoming this problem. The first identifies a set of domains admitting strategy-proof and non-dictatorial social choice functions when the set of alternatives is infinite. The second defines a class of social choice functions for which the theorem is true with both finite and infinite sets of alternatives. Journal of Economic Literature Classification Number: D71.